- rekursive Arithmetik
- рекурсивная арифметика
Немецко-русский математический словарь. 2013.
rekursive Arithmetik
Смотреть что такое "rekursive Arithmetik" в других словарях:
Peano-Arithmetik — Die Peano Arithmetik (erster Stufe) ist eine Theorie der Arithmetik, also der Natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe. Als Axiome werden die Peano Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt… … Deutsch Wikipedia
Peano-Axiome — Die Peano Axiome (auch Dedekind–Peano Axiome oder Peano Postulate) sind eine Menge von Axiomen, welche die natürlichen Zahlen und ihre Eigenschaften charakterisieren. Sie wurden 1889 vom italienischen Mathematiker Giuseppe Peano formuliert[1] und … Deutsch Wikipedia
Natürliche Zahl — ℕ Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw. Oft wird auch die Null zu den natürlichen Zahlen gerechnet. Die natürlichen Zahlen bilden mit der Addition und der Multiplikation zusammen eine… … Deutsch Wikipedia
Definition — Eine Definition (lateinisch definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist je nach der Definitionslehre, der hierbei gefolgt wird, entweder 1. eine Bestimmung des Wesens einer zu erklärenden Sache oder 2. eines Begriffs oder… … Deutsch Wikipedia
Vollständige Induktion — ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird. Da es sich um unendlich viele Zahlen handelt, kann solch ein Beweis nicht für alle Einzelfälle durchgeführt werden. Er wird daher in zwei… … Deutsch Wikipedia
Rekursiver arithmetischer Zufallszahlengenerator — Arithmetische Zufallszahlengeneratoren sind Zufallszahlengeneratoren zur Erzeugung von Zufallszahlen, die auf der Arithmetik beruhen. Sie basieren auf dem Satz von Weyl, verwenden also als Generator, wobei die Definitionen bei Satz von Weyl… … Deutsch Wikipedia
Güntherlogik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… … Deutsch Wikipedia
Kenogramm — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… … Deutsch Wikipedia
Polykontexturale Logik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… … Deutsch Wikipedia
Polykontexturallogik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… … Deutsch Wikipedia
Omega-Konsistenz — In der mathematischen Logik wird als ω konsistent (oder omega konsistent) eine Theorie bezeichnet, falls sie nicht nur konsistent ist, sondern zusätzlich auch nicht gewisse unendliche Kombinationen von Sätzen beweisen kann, welche intuitiv… … Deutsch Wikipedia
